提示：数学公式渲染组件（KaTeX）加载失败，公式以源码形式显示，不影响阅读内容。联网后刷新即可正常渲染。
☰本讲目录
◎学习目标
- 掌握用 Sylow 定理（特别是 \(n_p\) 的约束条件）判断某阶有限群是否为单群的一般方法；
- 熟悉两个经典例题：证明 56 阶群和 72 阶群都不是单群（存在非平凡正规子群）；
- 理解利用群在 Sylow 子群集合上的共轭作用构造群同态，再借同态基本定理证明核非平凡，从而找到正规子群；
- 掌握证明 15 阶群必为循环群的完整方法：Sylow 计数 → 两个唯一（故正规）的 Sylow 子群 → 证明生成元交换 → 利用互素阶引理得循环生成元；
- 牢记并会证明引理：若 \(a, b\) 交换且 \(\operatorname{ord}(a) = m\)，\(\operatorname{ord}(b) = n\)，\(\gcd(m,n)=1\)，则 \(\operatorname{ord}(ab) = mn\)。
知识准备（前面各讲已学）
- Sylow 定理三条结论及推论（第 17 讲）；
- 群作用与稳定子群（前面各讲）；
- 群同态、核、像、第一同构定理（第 8~9 讲）；
- 元素的阶、循环群、素数阶群必循环（第 2~3 讲）；
- 正规子群定义与共轭封闭性（第 7 讲）。
0课程引言：用 Sylow 定理研究群的结构 ⏱ 00:00
上一讲我们完整证明了 Sylow 定理的三条结论及其推论。本讲通过三个经典例题，系统展示如何用 Sylow 定理 研究有限群的结构，核心方法是：
本讲核心方法论
- 素因子分解：把群的阶 \(|G|\) 写成素因子的乘积 \(p_1^{\alpha_1} \cdots p_k^{\alpha_k}\)；
- Sylow 计数：对每个素因子 \(p\)，用 Sylow 定理确定 \(p\)-Sylow 子群的个数 \(n_p\) 的所有可能取值（\(n_p \mid |G|/p^{\alpha}\) 且 \(n_p \equiv 1 \pmod{p}\)）；
- 分情况讨论：若某 \(p\)-Sylow 子群个数唯一（\(n_p = 1\)），则该子群必为正规子群 → 群不是单群；若个数大于 1，则需利用元素计数或群作用来寻找正规子群；
- 群作用构造同态：当元素计数法不够用时，考虑 \(G\) 在 Sylow 子群集合上的共轭作用，得到同态 \(\varphi: G \to S_{n_p}\)，再用同态基本定理（第一同构定理）分析 \(\ker\varphi\) 是否非平凡。
回顾 · Sylow 定理（三条结论）
设 \(G\) 为有限群，\(|G| = p^{\alpha} \cdot m\)，其中 \(p \nmid m\)。
- 存在性（Sylow I）：\(G\) 中存在 \(p^{\alpha}\) 阶子群（称为 \(p\)-Sylow 子群）；
- 包含关系（Sylow II）：任意 \(p\)-子群都被某个 \(p\)-Sylow 子群包含；
- 共轭性 + 计数（Sylow III）：任意两个 \(p\)-Sylow 子群共轭；\(p\)-Sylow 子群的个数 \(n_p\) 满足 \(n_p \mid m\)（即 \(n_p \mid |G|/p^{\alpha}\)）且 \(n_p \equiv 1 \pmod{p}\)。
推论的证明思路（快速回顾）
若 \(P\) 是唯一的 \(p\)-Sylow 子群，则对任意 \(g \in G\)，共轭子群 \(gPg^{-1}\) 仍是 \(p\)-Sylow 子群，故必等于 \(P\)（因为唯一）。因此 \(gPg^{-1} = P\) 对所有 \(g\) 成立，即 \(P \trianglelefteq G\)。
定义 · 单群（Simple Group）
群 \(G\) 称为单群，若它没有非平凡的正规子群（即正规子群只有 \(\{e\}\) 和 \(G\) 本身）。要证明「\(G\) 不是单群」，等价于证明存在一个非平凡正规子群（既非 \(\{e\}\) 又非 \(G\)）。
本讲例题的「套路」总结
- 写出 \(|G|\) 的素因子分解；
- 选一个素因子 \(p\)，计算 \(n_p\) 的可能取值（通常选使得 \(n_p\) 候选值少的那个）；
- 若 \(n_p = 1\) 是候选值：唯一的 \(p\)-Sylow 子群正规 → 非单群；
- 若 \(n_p > 1\) 的候选值剩余：
- 尝试元素计数（统计非单位元个数，剩余元素恰好构成唯一 \(q\)-Sylow 子群）；
- 或尝试群作用方法（共轭作用得同态到对称群，核非平凡）。
1例 1：56 阶群不是单群 ⏱ 00:08
命题
设 \(G\) 为阶数为 \(56\) 的有限群。则 \(G\) 不是单群（即 \(G\) 必有非平凡正规子群）。
1.1 素因子分解与 Sylow 计数 ⏱ 00:35
将 \(|G| = 56\) 分解为素因子乘积：
\[ 56 = 8 \times 7 = 2^{3} \cdot 7. \]
设 \(n_7\) 为 \(G\) 中 \(7\)-Sylow 子群的个数。由 Sylow 定理（结论 III）：
\[ n_7 \mid 8, \qquad n_7 \equiv 1 \pmod{7}. \]
\(8\) 的正因子为 \(1, 2, 4, 8\)。逐一检验模 \(7\) 余 \(1\) 的条件：
| \(n_7\) 候选值 | \(n_7 \equiv 1 \pmod{7}\)？ | 是否满足 |
|---|---|---|
| 1 | 1 ≡ 1 ✓ | 满足 |
| 2 | 2 ≡ 2 ✗ | 不满足 |
| 4 | 4 ≡ 4 ✗ | 不满足 |
| 8 | 8 ≡ 1 ✓ | 满足 |
因此 \(n_7 \in \{1, 8\}\)，只有两种可能。下面分情况讨论。
1.2 情况一：\(n_7 = 1\) ⏱ 02:30
情形 · \(n_7 = 1\) → 唯一的 \(7\)-Sylow 子群正规
若 \(n_7 = 1\)，则 \(G\) 中只有一个 \(7\)-Sylow 子群，设为 \(P\)（\(|P| = 7\)）。由 Sylow 定理的推论：唯一的 \(p\)-Sylow 子群必为正规子群。因此 \(P \trianglelefteq G\)。
由于 \(|P| = 7\)，\(P\) 既非 \(\{e\}\) 也非 \(G\)（\(|G| = 56\)），故 \(P\) 是 \(G\) 的一个非平凡正规子群。因此 \(G\) 不是单群。
1.3 情况二：\(n_7 = 8\) ⏱ 04:02
情形 · \(n_7 = 8\) → 利用元素计数找唯一的 \(2\)-Sylow 子群
若 \(n_7 = 8\)，即 \(G\) 中有 \(8\) 个 \(7\)-Sylow 子群。每个 \(7\)-Sylow 子群 \(P_i\) 的阶为 \(7\)（素数），故每个 \(P_i\) 中除单位元 \(e\) 外，其余 \(6\) 个元素都是 \(7\) 阶元。不同 \(7\)-Sylow 子群之间除单位元外没有公共元素（因为它们的阶都是素数 \(7\)，任意两个不同 \(7\)-阶子群最多交于 \(\{e\}\)）。
\[ \text{所有 } 7\text{-Sylow 子群中 } 7\text{ 阶元素的总数} = 8 \times 6 = 48. \]
（注：不同 \(7\)-Sylow 子群之间除单位元外没有公共元素——每个子群有 \(6\) 个 \(7\) 阶元，它们分别属于不同的子群，不重叠。）
\(G\) 总共只有 \(56\) 个元素。上述 \(48\) 个 \(7\) 阶元加上 \(1\) 个单位元（被所有 \(8\) 个 \(7\)-Sylow 子群共享），共 \(49\) 个元素已被「占用」。剩余元素数为：
\[ 56 - 49 = 7 \text{ 个非单位元} + 1 \text{ 个单位元} = 8 \text{ 个元素.} \]
由 Sylow I 定理，\(G\) 中必存在一个 \(2\)-Sylow 子群 \(Q\)，其阶为 \(2^3 = 8\)。上述 \(8\) 个剩余元素（含 \(e\)）恰好构成 \(Q\)。由于这是唯一能容纳这 \(8\) 个元素的集合，故 \(G\) 中只有一个 \(2\)-Sylow 子群 \(Q\)。由推论，\(Q \trianglelefteq G\)，且 \(|Q| = 8\) 非平凡。因此 \(G\) 不是单群。
方法小结 · 56 阶群
本例使用的策略：先用 Sylow III 确定 \(n_7 \in \{1,8\}\)；
- 若 \(n_7 = 1\)：直接由推论得正规子群；
- 若 \(n_7 = 8\)：通过元素计数（\(7\) 阶元共 \(48\) 个，剩余 \(8\) 个恰好形成一个唯一的 \(2\)-Sylow 子群）找到另一个非平凡正规子群。
补充说明 · 为何两个不同 \(7\)-Sylow 子群交于 \(\{e\}\)
设 \(P_1, P_2\) 是 \(G\) 中两个不同的 \(7\)-Sylow 子群。若 \(P_1 \cap P_2\) 非平凡，则 \(|P_1 \cap P_2| = 7\)（\(7\) 的因子只有 \(1\) 和 \(7\)），从而 \(P_1 = P_2\)，与「不同」矛盾。因此任意两个不同的 \(7\)-Sylow 子群交于 \(\{e\}\)。这是元素计数（\(8 \times 6 = 48\)）合法性的关键保证。
对照 · 若 \(|G| = 7\) 的群
素数阶群 \(|G| = 7\) 必为循环群 \(\mathbb{Z}/7\mathbb{Z}\)，因此是交换群且没有非平凡子群——它是单群。这与本例 \(|G| = 56\) 的情况形成对比：\(56\) 阶群不是单群，但素数 \(7\) 阶群是单群。
2例 2：72 阶群不是单群 ⏱ 08:04
命题
设 \(G\) 为阶数为 \(72\) 的有限群。则 \(G\) 不是单群。
2.1 素因子分解与 Sylow 计数 ⏱ 08:30
\(|G| = 72\) 的素因子分解为：
\[ 72 = 8 \times 9 = 2^{3} \cdot 3^{2}. \]
考虑 \(n_3\)（\(3\)-Sylow 子群的个数）。由 Sylow III：
\[ n_3 \mid \frac{72}{3^{2}} = 8, \qquad n_3 \equiv 1 \pmod{3}. \]
\(8\) 的正因子为 \(1, 2, 4, 8\)。检验模 \(3\) 余 \(1\)：
| \(n_3\) 候选值 | \(n_3 \equiv 1 \pmod{3}\)？ | 是否满足 |
|---|---|---|
| 1 | 1 ≡ 1 ✓ | 满足 |
| 2 | 2 ≡ 2 ✗ | 不满足 |
| 4 | 4 ≡ 1 ✓ | 满足 |
| 8 | 8 ≡ 2 ✗ | 不满足 |
因此 \(n_3 \in \{1, 4\}\)。分两种情况讨论。
2.2 情况一：\(n_3 = 1\) ⏱ 09:49
情形 · \(n_3 = 1\) → 唯一的 \(3\)-Sylow 子群正规
若 \(n_3 = 1\)，则 \(G\) 中只有一个 \(3\)-Sylow 子群 \(P\)（\(|P| = 9\)）。由推论，\(P \trianglelefteq G\)，且 \(|P| = 9\) 非平凡。故 \(G\) 不是单群。
2.3 情况二：\(n_3 = 4\)——群作用方法 ⏱ 10:41
为何元素计数法不适用？
若 \(n_3 = 4\)，每个 \(3\)-Sylow 子群（\(9\) 阶）有 \(9 - 1 = 8\) 个非单位元。但与 \(56\) 阶的情况不同，这里有两个障碍使得简单的「数剩余元素」策略失效：
- \(9\) 阶子群有两种可能结构：循环群 \(C_9\)（有 \(\varphi(9) = 6\) 个生成元，即 \(9\) 阶元）或非交换的 \(C_3 \times C_3\)（\(8\) 个 \(3\) 阶元，无 \(9\) 阶元）。不同的结构导致非单位元的「阶分布」不同，无法像 \(56\) 阶情形那样干净地统计。
- 即使统计了所有 \(3\)-Sylow 子群的元素，剩余元素也不一定能唯一确定 \(2\)-Sylow 子群的结构——因为 \(2\)-Sylow 子群（\(8\) 阶）本身也可能有多种结构（\(C_8\)、\(C_4 \times C_2\)、\(D_4\)、\(Q_8\)）。
方法 · 构造同态 \(\varphi: G \to S_4\)
设 \(n_3 = 4\)，记这 \(4\) 个 \(3\)-Sylow 子群为 \(P_1, P_2, P_3, P_4\)。令
\[ \mathcal{S} = \{P_1, P_2, P_3, P_4\}. \]
\(G\) 在 \(\mathcal{S}\) 上通过共轭作用：对 \(g \in G\)、\(P_i \in \mathcal{S}\)，定义
\[ g \cdot P_i = g P_i g^{-1}. \]
验证这是合法的群作用：
- 由 Sylow II（共轭性），\(g P_i g^{-1}\) 仍是 \(G\) 的 \(3\)-Sylow 子群，故 \(g \cdot P_i \in \mathcal{S}\)；
- 作用恒等性：\(e \cdot P_i = e P_i e^{-1} = P_i\)；
- 结合性：\((gh) \cdot P_i = (gh) P_i (gh)^{-1} = g(h P_i h^{-1}) g^{-1} = g \cdot (h \cdot P_i)\)。
每个 \(g \in G\) 给出 \(\mathcal{S}\) 上的一个置换（把 \(P_i\) 映到 \(g P_i g^{-1}\)）。于是定义了同态
\[ \varphi: G \longrightarrow S_4, \qquad \varphi(g) = \text{「} g \text{ 在 } \mathcal{S} \text{ 上的共轭置换」}. \]
验证 \(\varphi\) 是群同态：对 \(g, h \in G\)，\(\varphi(gh)\) 对应的置换是 \(P_i \mapsto (gh)P_i(gh)^{-1} = g(hP_ih^{-1})g^{-1}\)，恰好是 \(\varphi(g) \circ \varphi(h)\)（先 \(h\) 后 \(g\) 的复合）。故 \(\varphi(gh) = \varphi(g)\,\varphi(h)\)。
2.4 分析 \(\ker\varphi\) ⏱ 14:04
关键推导 · \(\ker\varphi\) 非平凡
由同态基本定理（第一同构定理）：
\[ G / \ker\varphi \cong \operatorname{im}\varphi \le S_4. \]
因此
\[ |\operatorname{im}\varphi| \le |S_4| = 4! = 24, \qquad |\ker\varphi| = \frac{|G|}{|\operatorname{im}\varphi}| \ge \frac{72}{24} = 3 > 1. \]
故 \(\ker\varphi\) 是 \(G\) 的非平凡正规子群（核总是正规子群），且 \(|\ker\varphi| \ge 3\)。因此 \(G\) 不是单群。
为何 \(\ker\varphi\) 不是 \(\{e\}\)？
若 \(\ker\varphi = \{e\}\)，则 \(\varphi\) 是单射，从而 \(G\) 同构于 \(\operatorname{im}\varphi \le S_4\)，即 \(|G| = |\operatorname{im}\varphi| \le |S_4| = 24\)。但 \(|G| = 72 > 24\)，矛盾。故 \(\ker\varphi\) 必非平凡。
为何 \(|\operatorname{im}\varphi| < 72\)？
若 \(|\operatorname{im}\varphi| = 72\)，则 \(\operatorname{im}\varphi \cong G\) 嵌入 \(S_4\)，但 \(|S_4| = 24 < 72\)，矛盾。故 \(|\operatorname{im}\varphi| \le 24\)，从而 \(|\ker\varphi| \ge 3\)。
补充 · \(\ker\varphi\) 的几何意义
\(\ker\varphi\) 是那些在所有 \(3\)-Sylow 子群上不动的共轭置换的元素，即满足 \(gP_i g^{-1} = P_i\) 对所有 \(i = 1,2,3,4\) 的 \(g \in G\)。这些元素同时正规化所有 \(3\)-Sylow 子群。特别地，若 \(n_3 = 1\)（唯一 \(3\)-Sylow 子群 \(P\)），则整个 \(G\) 都正规化 \(P\)，故 \(\ker\varphi = G\)（同态为平凡同态），但这不影响结论——此时 \(P\) 本身就是非平凡正规子群。
对比 · 为何不用考虑 \(n_2\)？
对 \(|G| = 72\) 也可考虑 \(n_2\)（\(2\)-Sylow 子群个数）：\(n_2 \mid 9\)，\(n_2 \equiv 1 \pmod{2}\)，故 \(n_2 \in \{1, 3, 9\}\)。若 \(n_2 = 1\) 也直接得正规子群。但老师选择了 \(n_3\) 路径，因为 \(n_3 \in \{1,4\}\) 中 \(4\) 的情况恰好适合用群作用方法，且 \(|S_4| = 24\) 使得 \(|\ker\varphi| \ge 3\) 的推导干净利落。两个方向均可，但 \(n_3\) 路径是本讲的教学主线。
3例 3：15 阶群必为循环群 ⏱ 18:03
命题
设 \(G\) 为阶数为 \(15\) 的有限群。则 \(G\) 必为循环群（即 \(G \cong \mathbb{Z}/15\mathbb{Z}\)）。
3.1 素因子分解与 Sylow 计数 ⏱ 18:30
\(|G| = 15\) 的素因子分解为 \(15 = 3 \times 5\)。设 \(n_3\)、\(n_5\) 分别为 \(3\)-Sylow 子群和 \(5\)-Sylow 子群的个数。
\[ n_3 \mid 5, \quad n_3 \equiv 1 \pmod{3} \quad \Longrightarrow \quad n_3 = 1. \]
（\(5\) 的因子为 \(1, 5\)；\(5 \equiv 2 \pmod{3}\) 不满足，故只能 \(n_3 = 1\)。）
\[ n_5 \mid 3, \quad n_5 \equiv 1 \pmod{5} \quad \Longrightarrow \quad n_5 = 1. \]
（\(3\) 的因子为 \(1, 3\)；\(3 \equiv 3 \pmod{5}\) 不满足，故只能 \(n_5 = 1\)。）
因此 \(G\) 有唯一的 \(3\)-Sylow 子群 \(K\)（\(|K| = 3\)）和唯一的 \(5\)-Sylow 子群 \(H\)（\(|H| = 5\)）。由推论，两者都是 \(G\) 的正规子群：\(K \trianglelefteq G\)，\(H \trianglelefteq G\)。
3.2 两正规子群的生成元交换 ⏱ 21:03
第一步 · \(K \cap H = \{e\}\)
\(K\) 中元素的阶只能为 \(1\) 或 \(3\)；\(H\) 中元素的阶只能为 \(1\) 或 \(5\)。若 \(x \in K \cap H\)，则 \(x\) 的阶同时是 \(3\) 的因子和 \(5\) 的因子，故阶只能为 \(1\)，即 \(x = e\)。因此
\[ K \cap H = \{e\}. \]
为何 \(K\) 和 \(H\) 都是循环群？
\(|K| = 3\)（素数），故 \(K \cong \mathbb{Z}/3\mathbb{Z}\)，是循环群，取生成元 \(a\)（\(\operatorname{ord}(a) = 3\)）。
\(|H| = 5\)（素数），故 \(H \cong \mathbb{Z}/5\mathbb{Z}\)，是循环群，取生成元 \(b\)（\(\operatorname{ord}(b) = 5\)）。
这是「素数阶群必为循环群」这一基本结论的直接应用。
第二步 · 生成元交换：\(ab = ba\)
设 \(a\) 为 \(K\) 的生成元（\(\operatorname{ord}(a) = 3\)），\(b\) 为 \(H\) 的生成元（\(\operatorname{ord}(b) = 5\)）。要证 \(a\) 与 \(b\) 交换，只需证交换子
\[ [a,b] = aba^{-1}b^{-1} = e. \]
证 \([a,b] \in H\)：由 \(H \trianglelefteq G\)，对 \(g = a \in G\)、\(h = b \in H\)，有 \(a b a^{-1} \in H\)（正规子群的共轭封闭性：正规子群中的元素被群中任意元素共轭后仍在此正规子群中）。于是
\[ aba^{-1}b^{-1} = (aba^{-1}) \cdot b^{-1} \in H \cdot H = H. \]
（\(H\) 是子群，两个 \(H\) 中元素的乘积仍在 \(H\) 中。）
证 \([a,b] \in K\)：由 \(K \trianglelefteq G\)，对 \(g = b \in G\)、\(k = a^{-1} \in K\)，有 \(b a^{-1} b^{-1} \in K\)。于是
\[ aba^{-1}b^{-1} = a \cdot (ba^{-1}b^{-1}) \in K \cdot K = K. \]
故 \([a,b] \in K \cap H = \{e\}\)，从而
\[ aba^{-1}b^{-1} = e \quad \Longleftrightarrow \quad ab = ba. \]
两个正规子群的生成元交换。
3.3 乘积的阶为 15 ⏱ 24:03
应用引理 · \(\operatorname{ord}(ab) = 15\)
由下一步将证明的引理（互素阶交换元素的乘积阶为乘积）：\(\operatorname{ord}(a) = 3\)，\(\operatorname{ord}(b) = 5\)，\(\gcd(3,5) = 1\)，且 \(ab = ba\)，故
\[ \operatorname{ord}(ab) = 3 \times 5 = 15 = |G|. \]
元素 \(ab\) 的阶等于 \(|G|\)，故 \(ab\) 是 \(G\) 的生成元，从而
\[ G = \langle ab \rangle, \]
即 \(G\) 是循环群。
结论的一般形式与对比
本例证明：所有 \(15\) 阶群同构于 \(\mathbb{Z}/15\mathbb{Z}\)（循环群）。注意此结论对 \(6 = 2 \times 3\) 阶群不成立——\(6\) 阶群有循环群 \(\mathbb{Z}/6\mathbb{Z}\) 和非交换群 \(S_3\)。区别在于：对 \(15\) 阶，\(n_3 = n_5 = 1\)（两个 Sylow 子群都唯一且正规）；而对 \(6\) 阶，\(n_2 = 3\)（\(2\)-Sylow 子群不唯一），无法直接得到两个正规子群。
补充 · \(G = KH\) 的验证
由 \(|K| = 3\)，\(|H| = 5\)，\(K \cap H = \{e\}\)，子群乘积公式给出
\[ |KH| = \frac{|K| \cdot |H|}{|K \cap H|} = \frac{3 \times 5}{1} = 15 = |G|. \]
因此 \(KH\) 是 \(G\) 的子集且元素个数等于 \(|G|\)，故 \(G = KH\)。结合 \(K, H\) 均正规（从而 \(KH\) 是子群），可进一步说明 \(G\) 的每个元素唯一地表示为 \(kh\)（\(k \in K\)，\(h \in H\)）。
4引理：互素阶交换元素的乘积 ⏱ 25:03
引理（作业题结论）
设 \(G\) 为群，\(a, b \in G\) 满足 \(ab = ba\)（\(a, b\) 交换），且 \(\operatorname{ord}(a) = m\)，\(\operatorname{ord}(b) = n\)，\(\gcd(m, n) = 1\)。则
\[ \operatorname{ord}(ab) = mn. \]
引理证明（点击展开）
设 \(\operatorname{ord}(ab) = t\)，需证 \(t = mn\)。
（一）证 \(t \mid mn\)。 因为 \(ab = ba\)，所以 \((ab)^{mn} = a^{mn} b^{mn}\)。由于 \(\operatorname{ord}(a) = m\)，有 \(a^{m} = e\)，故 \(a^{mn} = (a^{m})^{n} = e\)；同理 \(b^{mn} = e\)。因此
\[ (ab)^{mn} = e, \]
由 \(t\) 是 \((ab)\) 的阶（使 \((ab)^t = e\) 的最小正整数），得 \(t \mid mn\)。
（二）证 \(mn \mid t\)。 由 \((ab)^t = e\)，因 \(ab = ba\)，
\[ a^{t} b^{t} = e \quad \Longrightarrow \quad a^{t} = b^{-t}. \]
左边 \(a^{t} \in \langle a \rangle\)（\(a\) 生成的子群），右边 \(b^{-t} \in \langle b \rangle\)。若 \(\langle a \rangle \cap \langle b \rangle\) 非平凡，则存在 \(d > 1\) 同时整除 \(m\) 和 \(n\)，与 \(\gcd(m,n) = 1\) 矛盾。故 \(\langle a \rangle \cap \langle b \rangle = \{e\}\)，从而 \(a^{t} = e\) 且 \(b^{t} = e\)。因此 \(m \mid t\) 且 \(n \mid t\)。由 \(\gcd(m,n) = 1\)，得 \(mn \mid t\)。
（三）结合（一）（二）：\(t \mid mn\) 且 \(mn \mid t\)，故 \(t = mn\)。
备注 · 本引理在例 3 中的角色
例 3 中 \(K\)（\(3\) 阶）和 \(H\)（\(5\) 阶）都是循环群（素数阶群必为循环群）。它们的生成元 \(a\)（\(3\) 阶）和 \(b\)（\(5\) 阶）满足 \(ab = ba\) 且 \(\gcd(3,5) = 1\)。由本引理，\(\operatorname{ord}(ab) = 15\)，故 \(ab\) 是 \(G\) 的生成元。这是证明 \(15\) 阶群为循环群的关键最后一步。
推广 · 互素阶交换群直积
引理的逆命题也成立：若 \(G\) 是有限群，\(H \trianglelefteq G\)，\(|H| = m\)，\(|G/H| = n\)，\(\gcd(m,n) = 1\)，且 \(G\) 中存在元素 \(a\)（来自 \(H\) 的预像）和 \(b\)（来自商群的提升）使得 \(G = \langle a \rangle \cdot \langle b \rangle\) 且 \(ab = ba\)，则 \(G \cong \langle a \rangle \times \langle b \rangle \cong \mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/n\mathbb{Z} \cong \mathbb{Z}/(mn)\mathbb{Z}\)（由中国剩余定理，\(\gcd(m,n)=1\) 时直积同构于循环群）。这给出了「Sylow 子群交换 ⟹ 群循环」的一般框架。
引理的边界 · 不互素时不成立
若 \(\gcd(m,n) = d > 1\)，则 \(\operatorname{ord}(ab)\) 一般小于 \(mn\)。例如在 \(\mathbb{Z}/4\mathbb{Z}\) 中取 \(a = 1\)（阶 \(4\)），\(b = 2\)（阶 \(2\)），则 \(a + b = 3\)（阶 \(4\)），而 \(4 \times 2 = 8\)，显然 \(\operatorname{ord}(ab) \neq 8\)。互素条件是引理成立的关键。
★重点回顾
1
Sylow 计数法判断单群：先做素因子分解，用 \(n_p \mid |G|/p^{\alpha}\) 且 \(n_p \equiv 1 \pmod{p}\) 确定 \(n_p\) 的可能值；若某 \(n_p = 1\)，唯一的 \(p\)-Sylow 子群即为非平凡正规子群 → 群不是单群。
2
56 阶群非单群：\(56 = 2^3 \cdot 7\)，\(n_7 \in \{1, 8\}\)；若 \(n_7 = 1\) 直接得正规子群；若 \(n_7 = 8\)，用元素计数（\(48\) 个 \(7\) 阶元 + 单位元 = \(49\)，剩余 \(7\) 个 + \(e\) = \(8\) 个）证明唯一的 \(2\)-Sylow 子群正规。
3
72 阶群非单群：\(72 = 2^3 \cdot 3^2\)，\(n_3 \in \{1, 4\}\)；若 \(n_3 = 4\)，元素计数法不够用，改用群在 \(4\) 个 \(3\)-Sylow 子群上的共轭作用得同态 \(\varphi: G \to S_4\)，由同态基本定理 \(|\ker\varphi| = 72/|\operatorname{im}\varphi| \ge 3 > 1\)，核非平凡。
4
群作用 → 同态：\(G\) 在集合 \(\mathcal{S}\) 上通过共轭作用给出同态 \(G \to S_{|\mathcal{S}|}\)。这是把「数子群个数」问题转化为「群同态 + 第一同构定理」问题的标准技巧。
5
15 阶群必循环：\(15 = 3 \cdot 5\)，\(n_3 = n_5 = 1\)，两唯一 Sylow 子群 \(K\)（\(3\) 阶）、\(H\)（\(5\) 阶）均正规；\(K \cap H = \{e\}\)；用正规性证生成元交换；由互素阶引理得 \(\operatorname{ord}(ab) = 15\)，故 \(G = \langle ab \rangle\) 循环。
6
互素阶引理：\(ab = ba\)，\(\operatorname{ord}(a) = m\)，\(\operatorname{ord}(b) = n\)，\(\gcd(m,n) = 1\) ⟹ \(\operatorname{ord}(ab) = mn\)。证明分两步：\(t \mid mn\)（上界）和 \(mn \mid t\)（下界），结合得 \(t = mn\)。
7
素数阶群必循环：素数 \(p\) 阶群由任一新元素生成，故必同构于 \(\mathbb{Z}/p\mathbb{Z}\)。这是 15 阶群证明中 \(K\) 和 \(H\) 都是循环群的依据。
8
共轭作用的标准套路：群 \(G\) 在其 \(p\)-Sylow 子群集合 \(\mathcal{S}\)（\(|\mathcal{S}| = n_p\)）上的共轭作用给出同态 \(G \to S_{n_p}\)。核 \(\ker\varphi = \{g \in G \mid gPg^{-1} = P, \forall P \in \mathcal{S}\}\)（同时正规化所有 \(p\)-Sylow 子群的元素）。这是把 Sylow 计数问题转化为同态问题的核心桥梁。
⚠易错点提醒
常见错误
- Sylow 计数时漏解同余条件：\(n_p\) 必须同时满足「\(|G|/p^{\alpha}\) 的因子」和「\(\equiv 1 \pmod{p}\)」两个条件。如 \(56\) 阶群中，\(n_7 \mid 8\) 且 \(n_7 \equiv 1 \pmod{7}\)，不能只算因子就下结论。
- 元素计数时忘记共享单位元：不同 \(p\)-Sylow 子群都含单位元 \(e\)，计数非单位元时不能重复计算 \(e\)。如 \(56\) 阶群中 \(8\) 个 \(7\)-Sylow 子群各有 \(6\) 个非单位元（\(7\) 阶元），总数为 \(8 \times 6 = 48\)，加上 \(e\) 共 \(49\) 个。
- 误用元素计数法：\(72\) 阶群中 \(n_3 = 4\) 时，不能像 \(56\) 阶那样直接数剩余元素得出唯一 \(2\)-Sylow，因为 \(3\)-Sylow 子群内部结构有两种可能（\(C_9\) 或 \(C_3 \times C_3\)），非单位元计数不唯一。此时必须换用群作用方法。
- 忘记核是正规子群：任何群同态 \(\varphi: G \to H\) 的核 \(\ker\varphi\) 总是 \(G\) 的正规子群。这是证明「存在非平凡正规子群」的核心工具。
- 引理中忽略交换条件：\(\operatorname{ord}(ab) = \operatorname{ord}(a) \cdot \operatorname{ord}(b)\) 只有在 \(a, b\) 交换时且阶互素时才成立。若 \(a, b\) 不交换，\((ab)^n \neq a^n b^n\) 一般不成立，引理失效。
- 把「唯一 Sylow 子群 ⟹ 正规」记反：唯一 ⟹ 正规（正确）；正规不 ⟹ 唯一（可能有多个正规 Sylow 子群）。
- 在 15 阶群证明中忘记验证生成元交换：即使两个子群都是正规的，不能直接断言它们的生成元交换——必须显式证明交换子 \(aba^{-1}b^{-1} = e\)（用正规性把交换子同时推出属于两个子群，再用交集为 \(\{e\}\) 得证）。
- 用引理时不检查互素条件：\(\operatorname{ord}(ab) = mn\) 要求 \(m\) 和 \(n\) 互素。若 \(\gcd(m,n) = d > 1\)，则 \(\operatorname{ord}(ab)\) 一般小于 \(mn\)。
✎自测与作业
- （本讲例题重做）证明 \(56\) 阶群不是单群（写出 \(n_7\) 的计数和两种情况的完整讨论）。
- （本讲例题重做）证明 \(72\) 阶群不是单群（注意 \(n_3 = 4\) 时需用群作用方法，写出同态 \(\varphi: G \to S_4\) 的构造和 \(|\ker\varphi| \ge 3\) 的推导）。
- （本讲例题重做）证明 \(15\) 阶群必为循环群（包括生成元交换的证明和互素阶引理的应用）。
- （引理）设 \(G\) 为群，\(a, b \in G\) 满足 \(ab = ba\)，\(\operatorname{ord}(a) = 4\)，\(\operatorname{ord}(b) = 9\)。证明 \(\operatorname{ord}(ab) = 36\)（用引理直接应用）。
- （延伸）证明 \(30\) 阶群不是单群（\(30 = 2 \cdot 3 \cdot 5\)，试 \(n_3\) 或 \(n_5\) 的 Sylow 计数）。
- （反例辨析）说明「\(21\) 阶群是循环群」这一命题是否成立（\(21 = 3 \cdot 7\)，试 \(n_3\) 和 \(n_7\) 的计数，判断是否存在唯一的 \(3\)-Sylow 或 \(7\)-Sylow，并讨论生成元交换性是否总能推出循环）。
- （群作用练习）设 \(G\) 为 \(p\)-Sylow 子群个数 \(n_p = k > 1\) 的有限群。写出 \(G\) 在 \(\{P_1, \dots, P_k\}\) 上共轭作用所得同态 \(\varphi: G \to S_k\) 的核的精确描述（即哪些元素属于 \(\ker\varphi\)），并用第一同构定理给出 \(|\ker\varphi|\) 的下界。
- （互素阶引理变体）设 \(a, b \in G\) 交换，\(\operatorname{ord}(a) = 6\)，\(\operatorname{ord}(b) = 5\)。证明 \(\operatorname{ord}(ab) = 30\)（注意：\(6\) 和 \(5\) 互素，直接应用引理）。
- （对比辨析）为什么 \(15\) 阶群必为循环群，但 \(21\) 阶群不一定？比较两者 Sylow 计数的结果，找出关键差异。
下一讲预告
第 19 讲：Sylow 定理的应用（继续用 Sylow 定理对更多阶的有限群进行分类，包括数共轭类、证明交换性、\(p\)-群中心非平凡等经典应用）。